<?php
///////////////////////infrastructure///////////////////////
?>
<html>
    <head>
        <meta charset="UTF-8">
        <link rel="stylesheet" type="text/css" href="../design/css/menustyle.css">
        <link rel="stylesheet" type="text/css" href="../design/css/headstyle.css">
        <link rel="stylesheet" type="text/css" href="../design/css/mainstyle.css">
        <link rel="stylesheet" type="text/css" href="../design/css/footerstyle.css">
        <link rel="stylesheet" type="text/css" href="../design/css/font.css">
        <!--<script type="text/javascript" src="..\design\java\menu.js"></script>
        <script type="text/javascript" src="..\design\java\mootools.js"></script>-->
        <script type="text/javascript">
            function uhrzeit(anzeige) {
            Heute = new Date();//Es wird ein neues Datum angelegt.
            Stunde  = Heute.getHours();//Die Variable Stunde wird erstellt
            Minute  = Heute.getMinutes();//Die Variable Minute wird erstellt
            Sekunde = Heute.getSeconds();//Die Variable Sekunde wird erstellt
            document.getElementById("clock").innerHTML=Stunde+":"+((Minute<=9)?"0"+Minute:Minute)+":"+((Sekunde<=9)?"0"+Sekunde:Sekunde)+" Uhr";
            //Die Ausgabe ist so eingestellt, dass wenn die Minuten oder Sekunden niedriger als 10 sind, automatisch eine 0 vorrangestellt wird.
        }</script>
        <?php
        
        echo"
<script type=\"text/javascript\" src=\"../javascript/jQuery.js\"></script> 
<script type=\"text/javascript\" src=\"../javascript/date.format.js\"></script> 
<script type=\"text/javascript\" src=\"../javascript/jquery.tablesorter.js\"></script>
<link rel=\"stylesheet\" type=\"text/css\" href=\"../design/css/font.css\">
";
        if(isset($head))
        {
        echo $head;
        }     
        
        
        
        if(!isset($title)){
            $title="InvIT";
        }
        ?>
        <title>InvIT - <?php echo "$title"?></title>
    </head>
    <body onLoad="uhrzeit('jetzt'); setInterval('uhrzeit()', 1000)">
        <div id="maincontainer">
            <div id="head">
                <div id="pic" href="#"></div>
                <div id="clock"></div>
            </div>
        <?php
        if(!isset($noMenu)){
        require '../menu/menu.php';        
        echo'<div id="content">';
        require '../resources/getConnection.php';
        $configClass = new Config($connection);
        if($configClass->GetConfigEntryByName("OutOfConfigSync") || $configClass->GetConfigEntryByName("OutOfSwitchSync"))
          echo '<img src="../design/pictures/warning.png" width="16" height="16" alt="!"/>&nbsp<warning>Konfiguration von Service und Webseite ist nicht synchron</warning><br>';
        if($configClass->GetConfigEntryByName("OutOfCustomSync"))
          echo '<img src="../design/pictures/warning.png" width="16" height="16" alt="!"/>&nbsp<warning>Abfragen von Service und Webseite sind nicht synchron</warning><br>';
        $connection->disconnectDB();
        }
  ?>





